import java.awt.Frame;
import java.awt.Dimension;
import java.awt.event.WindowEvent;
import java.awt.event.WindowListener;
import javax.swing.JFrame;
import java.awt.Color;
public class FrameMachine extends JFrame implements WindowListener
  {
  public FrameMachine(String graph)
    {
    super("cthurhu");
    setSize(new Dimension(960,540));
    setResizable(true);
    addWindowListener(this);
    setLocation(20,20);
    getContentPane().add(new Machine(graph));
    setBackground(Color.white);
    setVisible(true);
    }
  public void windowIconified(WindowEvent e)
    {
    }
  public void windowDeiconified(WindowEvent e)
    {
    }
  public void windowActivated(WindowEvent e)
    {
    }
  public void windowDeactivated(WindowEvent e)
    {
    }
  public void windowOpened(WindowEvent e)
    {
    }
  public void windowClosed(WindowEvent e)
    {
    }
  public void windowClosing(WindowEvent e)
    {
    System.exit(0);
    }
  }
